Module isotope::ast::ast [−][src]
Expand description
An abstract syntax tree for the textual representation of isotope
Structs
Annotated | An annotated term |
App | A function application |
Branch | A branch of a case expression |
Case | A case expression |
Enum | An enumeration |
Join | A |
Lambda | A lambda function |
Let | A |
Pi | A dependent function type |
Scope | A scope |
Universe | A typing universe |
Enums
Expr | An |
Form | A reduction form |
Stmt | An |